Словарь по логике - правило вывода

правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения  устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основанием (антецедентом) этой импликации, то и высказывание, являющееся следствием (консеквентом) импликации, истинно. Это правило, называемое также правилом модус поненс,  позволяет "отделить" следствие истинной импликации, при условии, что ее основание истинно. Скажем, от посылок "Если цирконий металл, он электропроводен" и "Цирконий металл" можно перейти к заключению "Цирконий электропроводен".